Interface Automata and Actif Actors
نویسنده
چکیده
This technical note uses the Ptolemy II interface automaton editor to compose networks of dataflow actors and buffers. The automata are first described as Actif actors; the composition of the automata together with a controller automata reveals the combined behavior of the network. This technical note can be referenced as: “Interface Automata and Actif Actors,” H John Reekie, UC Berkeley, November 2002, online at: http://ptolemy.berkeley.eecs/~johnr. Or use the following BibTex citation: @unpublished{Reekie0201, author = {H. John Reekie}, title = {Interface Automata and Actif Actors}, month = {November}, year = {2002}, note = {Online at \href{http://ptolemy.eecs.berkeley.edu/~johnr/} {http://ptolemy.eecs.berkeley.edu/~johnr/notes/atomicbuffer.pdf}} }
منابع مشابه
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata
Distributed Timed Multitasking (DTM) is a model of computation describing the operation of hard real-time embedded control systems. With this model, an application is conceived as a network of distributed embedded actors that communicate with one another by exchanging labeled messages (signals), independent of their physical allocation. Input and output signals are exchanged with the controlled...
متن کاملApprentissage actif pour l'annotation de documents
RÉSUMÉ. Dans le cadre du projet LegDoc au Centre Européen de Recherche de Xerox, nous avons développé des composants pour l’annotation sémantique de documents semi-structurés. Alors que certaines entités sémantiques ont une forme régulière et peuvent être facilement extraites, d’autres collections plus complexes et hétérogénes nous ont amenés à déployer des méthodes d’apprentissage automatique....
متن کاملTransportation Process of Containers BPMN-Modeling and Transformation into ACTIF Model
In this paper, we propose to model the transportation process of containers in the Nord-Pas de Calais Region (France). Based on the BPMN (Business Process Modeling Notation) approach, it allows deriving a comprehensive vision of the process and a friendly-user interface of the logistics chain for the analysis and the decision making. Furthermore, ACTIF (Aide à la Conception de systèmes de Trans...
متن کاملA Link Prediction Method Based on Learning Automata in Social Networks
Nowadays, online social networks are considered as one of the most important emerging phenomena of human societies. In these networks, prediction of link by relying on the knowledge existing of the interaction between network actors provides an estimation of the probability of creation of a new relationship in future. A wide range of applications can be found for link prediction such as electro...
متن کاملOn the Verification of Timed Discrete-Event Models
Timed discrete-event (DE) is an actor-oriented formalism for modeling timed systems. A DE model is a network of actors consuming/producing timed events from/to a set of input/output channels. In this paper we study a basic DE model, called deterministic DE (DDE), where actors are simple constant-delay components, and two extensions of DDE: NDE, where actors are non-deterministic delays, and DET...
متن کامل